Nicola Olivetti : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (38)
Les plus populaires
Liste
- Liste
- Tableau

1

Weak AGM postulates and strong Ramsey Test: A logical formalization

Laura Giordano, Valentina Gliozzi, Nicola Olivetti

Journal:

Artificial Intelligence

Année:

2005

Langue:

english

Fichier:

PDF, 355 KB

english, 2005

2

Combining negation as failure and embedded implications in logic programs

Laura Giordano, Nicola Olivetti

Journal:

The Journal of Logic Programming

Année:

1998

Langue:

english

Fichier:

PDF, 2.83 MB

english, 1998

3

Iterated Belief Revision and Conditional Logic

Laura Giordano, Valentina Gliozzi, Nicola Olivetti

Journal:

Année:

2002

Fichier:

PDF, 5.57 MB

2002

4

A sequent calculus and a theorem prover for standard conditional logics

Olivetti, Nicola, Pozzato, Gian Luca, Schwind, Camilla B.

Journal:

ACM Transactions on Computational Logic

Année:

2007

Langue:

english

Fichier:

PDF, 660 KB

english, 2007

5

Dissolution of olivines from steel and copper slags in basic solution

Traynor, Brian, Mulcahy, Ciara, Uvegi, Hugo, Aytas, Tunahan, Chanut, Nicolas, Olivetti, Elsa A.

Journal:

Cement and Concrete Research

Année:

2020

Fichier:

PDF, 1.03 MB

2020

6

Tableaux and sequent calculus for minimal entailment

Nicola Olivetti

Journal:

Journal of Automated Reasoning

Année:

1992

Langue:

english

Fichier:

PDF, 1.78 MB

english, 1992

7

Tableaux for Łukasiewicz Infinite-valued Logic

Nicola Olivetti

Journal:

Année:

2003

Fichier:

PDF, 4.27 MB

2003

8

Theorem proving for conditional logics: CondLean and GOALD U CK

Olivetti, Nicola, Pozzato, Gian Luca

Journal:

Journal of Applied Non-Classical Logics

Année:

2008

Langue:

english

Fichier:

PDF, 581 KB

english, 2008

9

A Language for Handling Hypothetical Updates and Inconsistency

Gabbay, Dov M., Giordano, Laura, Martelli, Alberto, Olivetti, Nicola

Journal:

Logic Journal of IGPL

Année:

1996

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1996

10

Sequent calculi for propositional nonmonotonic logics

Bonatti, Piero Andrea, Olivetti, Nicola

Journal:

ACM Transactions on Computational Logic

Année:

2002

Langue:

english

Fichier:

PDF, 437 KB

english, 2002

11

Nested sequent calculi for normal conditional logics

Alenda, Régis, Olivetti, Nicola, Pozzato, Gian Luca

Journal:

Journal of Logic and Computation

Année:

2013

Langue:

english

Fichier:

PDF, 652 KB

english, 2013

12

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 337 KB

english, 2010

13

Resolution and model building in the infinite-valued calculus of L̵ukasiewicz

Daniele Mundici, Nicola Olivetti

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 2.23 MB

english, 1998

14

N-Prolog and equivalence of logic programs

Nicola Olivetti, Lea Terracini

Journal:

Journal of Logic, Language and Information

Année:

1992

Langue:

english

Fichier:

PDF, 4.20 MB

english, 1992

15

Analytic Calculi for Product Logics

George Metcalfe, Nicola Olivetti, Dov Gabbay

Journal:

Archive for Mathematical Logic

Année:

2004

Langue:

english

Fichier:

PDF, 275 KB

english, 2004

16

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication

Dov M. Gabbay, Nicola Olivetti

Journal:

Année:

1998

Fichier:

PDF, 1.89 MB

1998

17

Sensory image generation: a comparison between different sensory modalities with fMRI

Cosimo Del Gratta, Rosalia Di Matteo, Andrea De Nicola, Antonio Ferretti, Armando Tartaro, Lorenzo Bonomo, Gian Luca Romani, Marta Olivetti Belardinelli

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 85 KB

english, 2001

18

Intermodal sensory image generation: An fMRI analysis

Olivetti Belardinelli, Marta, Di Matteo, Rosalia, Del Gratta, Cosimo, De Nicola, Andrea, Ferretti, Antonio, Tartaro, Armando, Bonomo, Lorenzo, Luca Romani, Gian

Journal:

European Journal of Cognitive Psychology

Année:

2004

Langue:

english

Fichier:

PDF, 243 KB

english, 2004

19

Focal Nodular Hyperplasia: Morphologic and Functional Information from MR Imaging with Gadobenate Dimeglumine1

Grazioli, Luigi, Morana, Giovanni, Federle, Michael P., Brancatelli, Giuseppe, Testoni, Marco, Kirchin, Miles A., Menni, Katiuscia, Olivetti, Lucio, Nicoli, Nicola, Procacci, Carlo

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 7.16 MB

english, 2001

20

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 4548 || Tree-Sequent Methods for Subintuitionistic Predicate Logics

Olivetti, Nicola

Année:

2007

Langue:

english

Fichier:

PDF, 476 KB

english, 2007

21

Sex Differences in Sensory Mental Imagery Investigated by Means of fMRI

Del Gratta, C., Olivetti Belardinelli, M., Di Matteo, R., De Nicola, A., Ferretti, A., Tartaro, A., Bonomo, L., Romani, G.L.

Journal:

Biomedical Engineering/ Biomedizinische Technik

Année:

2001

Langue:

english

Fichier:

PDF, 644 KB

english, 2001

22

Sequent and hypersequent calculi for abelian and łukasiewicz logics

Metcalfe, George, Olivetti, Nicola, Gabbay, Dov

Journal:

ACM Transactions on Computational Logic

Année:

2005

Langue:

english

Fichier:

PDF, 285 KB

english, 2005

23

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Giordano, Laura, Gliozzi, Valentina, Olivetti, Nicola, Pozzato, Gian Luca

Journal:

ACM Transactions on Computational Logic

Année:

2009

Langue:

english

Fichier:

PDF, 702 KB

english, 2009

24

Tableau calculus for preference-based conditional logics

Giordano, Laura, Gliozzi, Valentina, Olivetti, Nicola, Schwind, Camilla

Journal:

ACM Transactions on Computational Logic

Année:

2009

Langue:

english

Fichier:

PDF, 746 KB

english, 2009

25

[Lecture Notes in Computer Science] Automated Reasoning Volume 9706 ||

Olivetti, Nicola, Tiwari, Ashish

Année:

2016

Langue:

english

Fichier:

PDF, 15.80 MB

english, 2016

26

[Lecture Notes in Computer Science] Automated Reasoning Volume 9706 || Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

Olivetti, Nicola, Tiwari, Ashish

Année:

2016

Langue:

english

Fichier:

PDF, 513 KB

english, 2016

27

[Lecture Notes in Computer Science] Automated Reasoning Volume 9706 || System Description: GAPT 2.0

Olivetti, Nicola, Tiwari, Ashish

Année:

2016

Langue:

english

Fichier:

PDF, 738 KB

english, 2016

28

[Lecture Notes in Computer Science] Automated Reasoning Volume 9706 || Super-Blocked Clauses

Olivetti, Nicola, Tiwari, Ashish

Année:

2016

Langue:

english

Fichier:

PDF, 286 KB

english, 2016

29

[Lecture Notes in Computer Science] Automated Reasoning Volume 9706 || Selecting the Selection

Olivetti, Nicola, Tiwari, Ashish

Année:

2016

Langue:

english

Fichier:

PDF, 328 KB

english, 2016

30

[Lecture Notes in Computer Science] Automated Reasoning Volume 9706 || Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

Olivetti, Nicola, Tiwari, Ashish

Année:

2016

Langue:

english

Fichier:

PDF, 163 KB

english, 2016

31

On Belief Revision || Iterated Belief Revision and Conditional Logic

Laura Giordano, Valentina Gliozzi and Nicola Olivetti

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 2.71 MB

english, 2002

32

N-Prolog and Equivalence of Logic Programs (Part 1)

Nicola Olivetti and Lea Terracini

Journal:

Journal of Logic, Language and Information

Année:

1992

Langue:

english

Fichier:

PDF, 5.63 MB

english, 1992

33

Constructivism in Non-Classical Logics and Computer Science || Tableaux for Łukasiewicz Infinite-Valued Logic

Nicola Olivetti

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 2.74 MB

english, 2003

34

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication

Dov M. Gabbay and Nicola Olivetti

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 3.81 MB

english, 1998

35

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

GIRLANDO, MARIANNA, NEGRI, SARA, OLIVETTI, NICOLA, RISCH, VINCENT

Journal:

The Review of Symbolic Logic

Année:

2018

Langue:

english

Fichier:

PDF, 417 KB

english, 2018

36

Intercepting the First Pass: Rapid Categorization is Suppressed for Unseen Stimuli

Kaunitz, Lisandro Nicolas, Kamienkowski, Juan Esteban, Olivetti, Emanuele, Murphy, Brian, Avesani, Paolo, Melcher, David Paul

Journal:

Frontiers in Psychology

Année:

2011

Langue:

english

Fichier:

PDF, 2.77 MB

english, 2011

37

Intuitionistic Non-normal Modal Logics: A General Framework

Dalmonte, Tiziano, Grellois, Charles, Olivetti, Nicola

Journal:

Journal of Philosophical Logic

Année:

2020

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2020

38

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Olivetti, Nicola, Pozzato, Gian Luca

Journal:

Intelligenza Artificiale

Année:

2015

Fichier:

PDF, 864 KB

2015